منابع مشابه
Predicative degree constructions in Spanish1
This article explores adjectival degree constructions formed around the copular element de ‘of’ in Spanish such as un montón de listo (a load of smart, ‘considerably smart’), como tú de gordo (like you of fat, ‘as fat as you’), and así de alto (this of tall, ‘this tall’.) In these constructions, a predication relation takes place between the degree to which the property denoted by the adjective...
متن کاملPredicative Polymorphism in - Calculus
We present a formulation of the polyadic-calculus featuring a syntactic category for agents, together with a typing system assigning polymorphic types to agents. The new presentation introduces an operator to express recursion, and an ML-style let-constructor allowing to associate an agent to an agent-variable, and use the latter several times in a program. The essence of the monomorphic type s...
متن کاملTheory of Meaning in Commenting Predicative Qualities
The verses of predicative qualities have considered as a notable challenge of the ambiguous verses. Various views have been presented in the field of which the theories of real qualification and hermeneutics may be known as the most famous. Some have expanded the meaning to explain the predicative qualities; the fact of which two views occurred: one is 'putting words for the spirits of meanings...
متن کاملComments on Predicative Logic
The syntax of intuitionistic propositional second-order logic PSOLi consists of a set of propositional constants P , Q, R, etc, a denumerable set of propositional variables F , G, H, etc, together with the primitive logical signs of the conditional and the universal propositional quantifier, and ponctuation signs (parenthesis). The formulas of PSOLi are the smallest class of expressions of the ...
متن کاملPredicative Algebraic Set Theory
In this paper the machinery and results developed in [Awodey et al, 2004] are extended to the study of constructive set theories. Specifically, we introduce two constructive set theories BCST and CST and prove that they are sound and complete with respect to models in categories with certain structure. Specifically, basic categories of classes and categories of classes are axiomatized and shown...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: LIAMES: Línguas Indígenas Americanas
سال: 2015
ISSN: 2177-7160,1678-0531
DOI: 10.20396/liames.v15i2.8642304